Ideas that created the future: Classic papers of computer science
Preface
Introduction: The Roots and Growth of Computer Science
Chapter 1. Prior Analytics: Aristotle (-350 BCE)
Chapter 2. The True Method: Gottfried Wilhelm Leibniz (1677)
Chapter 3. Sketch of the Analytical Engine: Ada Augusta (1843)
Chapter 4. An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities: George Boole (1854)
Chapter 5. Mathematical Problems: David Hilbert (1900)
Chapter 6. On Computable Numbers, with an Application to the Entscheidungsproblem: Alan Turing (1936)
Chapter 7. A Proposed Automatic Calculating Machine: Howard Hathaway Aiken (1937)
Chapter 8. A Symbolic Analysis of Relay and Switching Circuits: Claude Shannon (1938)
Chapter 9. A Logical Calculus of the Ideas Immanent in Norvous Activity: Warren McCulloch and Walter Pitts (1943)
Chapter 10. First Draft of a Report on the EDVAC: John von Neumann (1945)
Chapter 11. As We May Think: Vannevar Bush (1945)
Chapter 12. A Mathematical Theory of Communication: Claude Shannon (1948)
Chapter 13. Error Detecting and Error Correcting Codes: R. W. Hamming (1950)
Chapter 14. Computing Machinery and Intelligence: Alan Turing (1950)
Chapter 15. The Best Was to Design an Automatic Calculating Machine: Maurice Wilkes (1950)
Chapter 16. The Education of a Computer: Grace Murray Hopper (1952)
Chapter 17. On the Shortest Spanning Subtree of a Graph and the Traveling Salesman Problem: Joseph B. Kruskal, Kr (1956)
Chapter 18. The Perceptron: A Probabilistic Model for Information Storage and Organization: Frank Rosenblatt (1958)
Chapter 19. Some Moral and Technical Consequences of Automation: Nobert Wiener (1960)
Chapter 20. Man-Computer Symbiosis: J. C. R. Licklider (1960)
See Man-computer symbiosis
Chapter 21. Recursive Functions of Symbolic Expression and Their Computation by Machine: John McCarthy (1960)
Chapter 22. Augmenting Human Intellect: A Conceptual Framework: Douglas C. Engelbart (1962)
Chapter 23. An Experimental Time-Sharing System: Fernando Corbató, Marjorie Merwin Daggett, and Robert C. Daley (1962)
Chapter 24. Sketchpad: Ivan E. Sutherland (1963)
Chapter 25. Cramming More Components onto Integrated Circuits: Gordon Moore (1965)
Chapter 26. Solution of a Problem in Concurrent Program Control: Edsger Dijkstra (1965)
Chapter 27. ELIZA - A Computer Program for the Study of Natural Language Communication between Man and Machine: Joseph Weizenbaum (1966)
Chapter 28. The Structure of the “THE” - Multiprogramming System: Edsger Dijkstra (1968)
Chapter 29. Go To Statement Considered Harmful: Edsger Dijkstra (1968)
Chapter 30. Gaussian Elimination is not Optimal: Volker Strassen (1969)
Chapter 31. An Axiomatic Basis for Computer Programming: C. A. R. Hoare (1969)
Chapter 32. A Relational Model of Large Shared Data Banks: Edgar F. Codd (1970)
Chapter 33. Managing the Development of Large Software Systems: Winston W. Royce (1970)
Chapter 34. The Complexity of Theorem-Proving Procedures: Stephen A. Cook (1971)
Chapter 35. A Statistical Interpretation of Term Specificity and Its Application in Retrieval: Karen Spärck Jones (1972)
Chapter 36. Reducibility among Combinatorial Problems: Richard Karp (1972)
Chapter 37. The Unix Time-Sharing System: Dennis Ritchie and Kenneth Thompson (1974)
Chapter 38. A Protocol for Packet Network Intercommunication: Vinton Cerf and Robert Kahn (1974)
Chapter 39. Programming with Abstract Data Types: Barbara Liskov and Stephen Zilles (1974)
Chapter 40. The Mythical Man-Month: Frederick C. Brooks (1975)
Chapter 41. Ethernet: Distributed Packet Switching for Local Computer Networks: Robert Metcalfe and David. R. Boggs (1976)
Chapter 42. New Directions in Cryptography: Whitfield Diffie and Martin Hellman (1976)
Chapter 43. Big Omicron and Big Omega and Big Theta: Donald E. Knuth (1976)
Chapter 44. Social Processes and Proofs of Theorems and Programs: Richard DeMillo, Richard Lipton, and Alan Perlis (1977)
Chapter 45. A Method for Obtaining Digital Signatures and Public-Key Cryptosystems: Ronald Rivest, Adi Shamir, and Len Adleman (1978)
Chapter 46. How to Share a Secret: Adi Shamir (1979)